#ifndef STACK_H
#define STACK_H

#include "config.h"

/*
	 Allocate size words of stack space for a task. Stacks grow downwards.
	 Can never deallocate stack space; each task is intended to run forever.
*/
void *allocateStack (unsigned int size);

#endif

